Mentoring Away the Glass Ceiling in Academia: A Cultured Critique describes how women of diverse backgrounds perceive their mentoring experiences or the lack of mentoring experiences in the academy. This book provides a space for envisioning strategies and practices to improve mentoring practices and the collegiate environment.

A reduction algebra is defined as a set with a collection of partial unary functions (called reduction operators). Motivated by the lambda calculus, the Church-Rosser property is defined for a reduction algebra and a characterization is given for those reduction algebras satisfying CRP and having a measure respecting the reductions. The characterization is used to give (with 20/20 hindsight) a more direct proof of the strong normalization theorem for the impredicative second order intuitionistic propositional calculus.

An extension of the Quantified Propositional Calculus1 obtained by the addition of two binary propositional functions is put forward as an inheritor of E. Schröder's “Algebra der Logik”. The formal system is itself not new, in fact it forms part of A. P. Morse's “A Theory of Sets”; although the latter is considered as a first-order system. Since the additional propositional functions are not invariant under the logical biconditional, this system–and many others naturally obtained from it–give us a collection of (...) examples of non-standard, but mathematically meaningful, propositional systems. (shrink)

In Logical Forms Part II, Chateaubriand begins the Chapter on “Propositional Logic” by considering the reading of the ‘conditional’ by ‘implies’; in fact he states that:There is a confusion, as a matter of fact, and it runs deep, but it is a confusion in propositional logic itself, and the mathematician’s reading is a rather sensible one.After a careful, erudite analysis of various philosophical viewpoints of logic, Chateaubriand comes to the conclusion that:Pure propositional logic, as just characterized, belongs to ontological logic, (...) and it does not include a theory of deduction as a human activity. This is a part of epistemological logic, and is more closely connected to the applications of pure propositional logic.An implicit assumption in Chateaubriand’s reasoning appears to be that propositions have a timeless status. I will present arguments for the opposite viewpoint which leads to an analysis of Propositional Logic not covered under Chateaubriand’s monograph and perhaps resolves some conflicts therein; much as the conflict between the Intuitionist and Classical Mathematician on whether every function on the Reals is continuous is resolved by the realization that they are talking about different “entities”.Em Logical Forms II, Chateaubriand inicia o capítulo “Lógica Proposi-cional” considerando a leitura do ‘condicional’ como ‘implica’. De fato, ele diz o seguinte:Na verdade, existe uma confusão, e ela é profunda, mas é uma confusão na lógica proposicional ela mesma, e a leitura de um matemático é bastante sensível.Depois de uma análise cuidadosa e erudita dos vários pontos de vista filosóficos da lógica , Chateaubriand chega à conclusão que:A lógica proposicional pura, tal como aqui caracterizada, pertence à lógica ontológica, e não inclui uma teoria da dedução como atividade humana. Isto é parte da lógica epistemológica, e é mais intimamente conectada às aplicações da lógica proposicional.Uma premissa implícita no raciocínio de Chateaubriand parece ser a de que proposições têm um estatuto atemporal. Eu argumentarei em favor da visão oposta, que leva a uma análise da Lógica Proposicional não abordada no texto de Chateaubriand e que talvez resolva alguns conflitos. Muito do conflito entre Intuicionistas e Matemáticos Clássicos sobre se toda função sobre os números reais é contínua é resolvido pela compreensão de que eles estão falando de “entidades” diferentes. (shrink)

El Ministerio de Salud Pública cubano ha otorgado especial importancia al tema relacionado con el desempeño profesional evaluativo de la información estadística en los profesionales de la salud, pero una revisión bibliográfica permitió constatar el insuficiente debate pedagógico encaminado a diagnosticar su estado actual para proponer alternativas que permitan su formación y desarrollo en los estudiantes. Este artículo tiene como objetivo caracterizar el desempeño profesional evaluativo de la información estadística en estudiantes de Medicina. Los resultados obtenidos con la aplicación de (...) métodos y técnicas de investigación, tales como encuestas, test de conocimientos permitieron confirmar que ese desempeño actualmente se expresa a un nivel insatisfactorio de actuación. Se concluyó buscar formas más efectivas para su logro en estudiantes de Medicina. The Cuban Ministry of Public Health has given special importance to the subject of professional assessment of statistical information in the area of public health; however, a bibliographic review allowed authors to prove pedagogical debate unsatisfactory. The review was aimed at diagnosing its current state and therefore provide alternatives that allow its formation and development in medical students. The objective of the article is to characterize the assessable professional performance of statistical information in medical students. The results achieved through the application of research methods and techniques such as surveys and knowledge tests enabled to confirm that, nowadays, professional performance is below satisfactory performance levels. As a result, newer and more effective ways of achieving it in medical students will be searched for. (shrink)

The propositional calculus AoC, “Algebra of Classes”,and the extended propositional calculus EAC, “Extended Algebra ofClasses” are introduced in this paper. They are extensions, by additionalpropositional functions which are not invariant under the biconditional,of the corresponding classical propositional systems. Theirorigin lies in an analysis, motivated by Cantor’s concept of the cardinalnumbers, of A. P. Morse’s impredicative, polysynthetic set theory.

A conservative extension of first order logic, suitable for circumscriptive inference, is introduced.